221. Recent advances in real complexity and computation : UIMP-RSME Lluis A. Santalo Summer School, recent advances in real complexity and computation, July 16-20, 2012, Spain

پدیدآورنده: Jose Luis M. Pardo, editors

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computational complexity

رده :

QA

267

.

7

.

U45

2012

مشاهده در قفسه مجازی RIS Bibtex ISO

222. Recursion Thery and Complexity

پدیدآورنده: / editors marat M. Arslanov, Steffen Lempp

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Recursion theory Congresses,Computational complexity - Congresses

رده :

QA

9

.

6

.

K39

1999

مشاهده در قفسه مجازی RIS Bibtex ISO

223. Reliable and autonomous computational scienc

پدیدآورنده: / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Computational complexity, Congresses,Computational intelligence, Congresses,Intelligent agents (Computer software), Congresses

رده :

E-BOOK

RIS Bibtex ISO

224. Reliable and autonomous computational science

پدیدآورنده: Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational complexity, Congresses.,Computational intelligence, Congresses.,Intelligent agents (Computer software), Congresses.

RIS Bibtex ISO

225. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005

پدیدآورنده: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers

رده :

QA

267

.

7

.

A25

2005

مشاهده در قفسه مجازی RIS Bibtex ISO

226. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007

پدیدآورنده: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers

رده :

QA

267

.

7

.

A25

2007

مشاهده در قفسه مجازی RIS Bibtex ISO

227. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006

پدیدآورنده: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers

رده :

QA

267

.

7

.

A25

2006

مشاهده در قفسه مجازی RIS Bibtex ISO

228. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden ]i.e. Norway[, July 11-14, 1990 : Proceedings

پدیدآورنده: J.R. Gilbert, R. Karlsson )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Algorithms,Congresses ، Computational complexity

رده :

QA

76

.

L28

Vol

.

447

مشاهده در قفسه مجازی RIS Bibtex ISO

229. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden )i.e. Norway(, July 11-14, 1990 : proceedings

پدیدآورنده: Scandinavian Workshop on Algorithm Theory, )2nd, 0991, Bergen, Norway(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Algorithms-- Congresses,، Computational complexity-- Congresses

رده :

QA

9

.

58

.

S28

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

230. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings

پدیدآورنده: Scandinavian Workshop on Algorithm Theory, )1st, 8891, Halmstad, Sweden(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Algorithms-- Congresses,، Computational complexity-- Congresses

رده :

QA

9

.

58

.

S93

1988

مشاهده در قفسه مجازی RIS Bibtex ISO

231. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings

پدیدآورنده: R. Karlsson, A. Lingas, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Algorithms,Congresses ، Computational complexity

رده :

QA

76

.

L28

Vol

.

318

مشاهده در قفسه مجازی RIS Bibtex ISO

232. Structure in complexity theory : Proceedings of the Conference held at the University of California, Berkeley, California, June 2-5, 1986

پدیدآورنده: edited by Alan L. Selman

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computational complexity

رده :

QA

76

.

L28

Vol

.

223

مشاهده در قفسه مجازی RIS Bibtex ISO

233. Structure in complexity theory : proceedings of the conference held at the ..

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Computational complexity

رده :

QA

76

.

L4

v

.

223

مشاهده در قفسه مجازی RIS Bibtex ISO

234. Structure in complexity theory: proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986

پدیدآورنده: edited by Alan L. Selman

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Computational complexity

رده :

QA

267

.

S765

1986

مشاهده در قفسه مجازی RIS Bibtex ISO

235. Structure in complexity theory : proceedings of the conference held at the university of California, Berkeley, California, June 2-5, 1986

پدیدآورنده: Edited by Alan L. Selman

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Computational complexity

رده :

QA

267

.

7

.

S76

1986

مشاهده در قفسه مجازی RIS Bibtex ISO

236. Theory and Applications of Models of Computation

پدیدآورنده: \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها

رده :

QA

76

.

9

.

M35T46

2015

E-Book

,

مشاهده در قفسه مجازی RIS Bibtex ISO

237. Theory and applications of models of computation :

پدیدآورنده: Mitsunori Ogihara, Jun Tarui (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses

رده :

QA76

.

9

.

M35

T36

2011eb

مشاهده در قفسه مجازی RIS Bibtex ISO

238. Theory and applications of models of computation

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computational complexity ; Congresses. ; Computable functions ; Congresses. ;

RIS Bibtex ISO

239. Theory and applications of models of computation :

پدیدآورنده: T.V. Gopal, Junzo Watada (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.

رده :

QA76

.

9

.

M35

T35

2019eb

مشاهده در قفسه مجازی RIS Bibtex ISO

240. Theory and applications of models of computation

پدیدآورنده: / Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computational complexity--Congresses,Computable functions--Congresses

رده :

QA

,

267

.

7

,.

T36

,

2007

مشاهده در قفسه مجازی RIS Bibtex ISO